- semantically consistent system
- семантически непротиворечивая система
English-Russian scientific dictionary. 2008.
semantically consistent system
Смотреть что такое "semantically consistent system" в других словарях:
Language change — is the manner in which the phonetic, morphological, semantic, syntactic, and other features of a language are modified over time. All languages are continually changing. At any given moment the English language, for example, has a huge variety… … Wikipedia
NIEM conformance — The National Information Exchange Model (NIEM) is the result of a collaborative effort by the United States Department of Justice and Department of Homeland Security to produce a set of common, well defined data elements to be used for data… … Wikipedia
Open Concurrent Design Server — The Open Concurrent Design Server (OCDS) is an initiative of the European Space Agency, ESA. The OCDS provides the building blocks of a Concurrent, Collaborative and Distributed Engineering for the European Space Industry, using Open Standards… … Wikipedia
UML tool — A UML tool or UML modeling tool is a software application that supports some or all of the notation and semantics associated with the Unified Modeling Language (UML), which is the industry standard general purpose modeling language for software… … Wikipedia
National Information Exchange Model — The National Information Exchange Model (NIEM) is an XML based information exchange framework from the United States. NIEM represents a collaborative partnership of agencies and organizations across all levels of government (federal, state,… … Wikipedia
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Complete theory — In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… … Wikipedia
Biblical Hebrew — Biblical Hebrew, Classical Hebrew שְֹפַת כְּנַעַן, יְהוּדִית, (לְשוֹן) עִבְרִית … Wikipedia
Romance languages — romance1 (def. 8). [1770 80] * * * Group of related languages derived from Latin, with nearly 920 million native speakers. The major Romance languages French, Spanish, Portuguese, Italian, and Romanian are national languages. French is probably… … Universalium
